|
|
Kryptoanalýza postranními kanály
Martinásek, Zdeněk ; Vaněk, Tomáš (oponent) ; Dočkal,, Jaromír (oponent) ; Zeman, Václav (vedoucí práce)
Postranní kanály v oblasti kryptografie zásadním způsobem mění pohled na bezpečnost celého kryptografického systému. Již nestačí analyzovat bezpečnost algoritmu pouze z~matematického hlediska pomocí abstraktních modelů, ale stejný důraz musí být kladen na implementaci algoritmů. Disertační práce v úvodu vysvětluje základní pojmy, princip útoku postranními kanály a jejich základní dělení. V následující části jsou určeny cíle dizertační práce. Hlavním cílem disertační práce je navrhnout a experimentálně ověřit novou metodu analýzy proudovým postranním kanálem, která bude využívat neuronové sítě. Tento hlavní cíl vznikl z rozboru používaných analýz proudovým postranním kanálem uvedených v následujících kapitolách. Tyto kapitoly obsahují podrobný rozbor současně používaných analýz proudovým postranním kanálem a rozbor šifrovacího algoritmu AES. Algoritmus AES byl vybrán, z důvodu odolnosti proti konvenčnímu způsobu analýz. Následující kapitola popisuje získané dílčí experimentální výsledky optimalizace stávajících metod, vliv parametrů ovlivňující proudovou spotřebu a výsledky navržené analýzy pomocí neuronových sítí včetně diskuze získaných výsledků. Tento typ útoku proudovým postranním kanálem nebyl dosud publikován, jedná se tedy o zcela novou myšlenku. Posledním cílem práce bylo shrnutí možných ochran proti analýze a útoku postranním kanálem.
|
|
|
Diferenciální elektromagnetická analýza
Novotný, Bohumil ; Člupek, Vlastimil (oponent) ; Martinásek, Zdeněk (vedoucí práce)
Tato diplomová práce se zabývá studiem teorie postranních kanálů, jednoduché a diferenciální analýzy a typy útoků na postranní kanál, které mohou proběhnout proti kryptografickému systému. V diplomové práci jsou vysvětleny principy jednotlivých útoku na postranní kanál a možná obrana proti nim. Druhá část diplomové práce popisuje vytvořené experimentální pracoviště, jeho jednotlivé součásti a jejich funkce. Na tyto poznatky navazuje vlastní řešení útoku na elektromagnetický postranní kanál pomocí elektromagnetické sondy a příslušného vybavení pracoviště vytvořeného pro tuto úlohu. Závěrečná část diplomové práce je věnována popisu implementovaného algoritmu, popisu měření, výsledkům měření a možným úpravám implementovaných algoritmů v mikrokontroléru pro plnou automatizaci útoku na zařízení, proti kterému byl útok veden.
|
|
| |
|
|
Hodnocení finanční situace podniku a návrhy na její zlepšení
Švagerová, Sarah ; Ptáček, Roman (oponent) ; Žižlavský, Ondřej (vedoucí práce)
Tato bakalářská práce se zaměřuje na hodnocení finanční situace společnosti Broker Consulting, a.s. a návrhy na její zlepšení v letech 2016 až 2021. V práci jsou použity metody finanční analýzy. Význam práce spočívá v identifikaci klíčových oblastí, které ovlivňují finanční situaci společnosti a navržení konkrétních opatření pro zlepšení této situace. Dosažené výsledky mohou být využity společností k posílení své finanční stability a zvýšení konkurenceschopnosti.
|
|
|
Pokročilá statická analýza výkonnosti v nástroji Meta Infer
Pavela, Ondřej ; Rogalewicz, Adam (oponent) ; Vojnar, Tomáš (vedoucí práce)
Looper is a static complexity analysis tool for inference of tight upper bounds on the exe- cution cost of programs. It is based on the previously existing Loopus tool which used abstract program model of difference constraints (inequalities of the form + ), which allows for natural abstraction of common loop counter updates = + + and = + 0. Looper was initially proposed and implemented in author’s bachelor’s thesis as a checker for the Meta Infer framework but the tool failed to meet the expectations when tested on real-world code. This master’s thesis proposes a new improved version of Looper that aims at solving the main limitations of the original tool, namely through introduction of interprocedural analysis. Additionally, various extensions target- ing improved precision of the intraprocedural analysis, such as new abstraction algorithm, handling of compound loop conditions and more, were implemented. Moreover, logging, issue reporting and collection of results has been significantly improved. Finally, through extensive experiments with the new Looper version, the ability to analyze real-world code in a more general, scalable and precise way was shown.
|
|
|
Hodnocení finanční situace podniku a návrhy na její zlepšení
Švagerová, Sarah ; Ptáček, Roman (oponent) ; Žižlavský, Ondřej (vedoucí práce)
Tato bakalářská práce se zaměřuje na hodnocení finanční situace společnosti Broker Consulting, a.s. a návrhy na její zlepšení v letech 2016 až 2021. V práci jsou použity metody finanční analýzy a SWOT analýza. Význam práce spočívá v identifikaci klíčových oblastí, které ovlivňují finanční situaci společnosti a navržení konkrétních opatření pro zlepšení této situace. Dosažené výsledky mohou být využity společností k posílení své finanční stability a zvýšení konkurenceschopnosti.
|
|
| |
|
|
Analýza kojenecké úmrtnosti na Novém Zélandu: existují rozdíly dle etnické příslušnosti
Merglová, Eva ; Pechholdová, Markéta (vedoucí práce) ; Nývlt, Ondřej (oponent)
Existence rozdílů v šanci na přežití kojenců patřících do odlišných etnických skupin je fenoménem známým z celé řady zemí. Cílem této práce je rozšířit související akademickou literaturu o komplexně zpracovanou diferenční analýzu kojenecké úmrtnosti v hlavních etnických skupinách na Novém Zélandu, na základě které by bylo možné přesněji cílit podpůrné vzdělávací a zdravotní programy. Analýza provedená v této práci za použití sekundárních dat poskytnutých Ministerstvem zdravotnictví Nového Zélandu naznačuje, že zatímco mezi novozélandskými etnickými skupinami existují rozdíly ve vlivu stáří kojence při úmrtí, porodní váhy, délky těhotenství a prvotní příčiny úmrtí, v případě pohlaví kojence žádné rozdíly identifikovat nelze.
|
|
|
Kryptoanalýza postranními kanály
Martinásek, Zdeněk ; Vaněk, Tomáš (oponent) ; Dočkal,, Jaromír (oponent) ; Zeman, Václav (vedoucí práce)
Postranní kanály v oblasti kryptografie zásadním způsobem mění pohled na bezpečnost celého kryptografického systému. Již nestačí analyzovat bezpečnost algoritmu pouze z~matematického hlediska pomocí abstraktních modelů, ale stejný důraz musí být kladen na implementaci algoritmů. Disertační práce v úvodu vysvětluje základní pojmy, princip útoku postranními kanály a jejich základní dělení. V následující části jsou určeny cíle dizertační práce. Hlavním cílem disertační práce je navrhnout a experimentálně ověřit novou metodu analýzy proudovým postranním kanálem, která bude využívat neuronové sítě. Tento hlavní cíl vznikl z rozboru používaných analýz proudovým postranním kanálem uvedených v následujících kapitolách. Tyto kapitoly obsahují podrobný rozbor současně používaných analýz proudovým postranním kanálem a rozbor šifrovacího algoritmu AES. Algoritmus AES byl vybrán, z důvodu odolnosti proti konvenčnímu způsobu analýz. Následující kapitola popisuje získané dílčí experimentální výsledky optimalizace stávajících metod, vliv parametrů ovlivňující proudovou spotřebu a výsledky navržené analýzy pomocí neuronových sítí včetně diskuze získaných výsledků. Tento typ útoku proudovým postranním kanálem nebyl dosud publikován, jedná se tedy o zcela novou myšlenku. Posledním cílem práce bylo shrnutí možných ochran proti analýze a útoku postranním kanálem.
|
|
|
Diferenciální elektromagnetická analýza
Novotný, Bohumil ; Člupek, Vlastimil (oponent) ; Martinásek, Zdeněk (vedoucí práce)
Tato diplomová práce se zabývá studiem teorie postranních kanálů, jednoduché a diferenciální analýzy a typy útoků na postranní kanál, které mohou proběhnout proti kryptografickému systému. V diplomové práci jsou vysvětleny principy jednotlivých útoku na postranní kanál a možná obrana proti nim. Druhá část diplomové práce popisuje vytvořené experimentální pracoviště, jeho jednotlivé součásti a jejich funkce. Na tyto poznatky navazuje vlastní řešení útoku na elektromagnetický postranní kanál pomocí elektromagnetické sondy a příslušného vybavení pracoviště vytvořeného pro tuto úlohu. Závěrečná část diplomové práce je věnována popisu implementovaného algoritmu, popisu měření, výsledkům měření a možným úpravám implementovaných algoritmů v mikrokontroléru pro plnou automatizaci útoku na zařízení, proti kterému byl útok veden.
|
host ::
RSS.